home *** CD-ROM | disk | FTP | other *** search
- (function()
- {
- //shortcut for document.getElementById
- this.getBrowserElement = function (anID)
- {
- return document.getElementById(anID);
- }
- //return an element of this extension
- this.getElement = function (anID)
- {
- return this.getBrowserElement('URLtoTabTitle-'+anID);
- }
- //removes an element from the dom
- this.removeElement = function (anElement)
- {
- anElement.parentNode.removeChild(anElement);
- }
-
- return null;
-
- }).apply(URLtoTabTitle);
-